大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Methods for the Implementation of Algorithmic Languages 的图书(共5677本)

Formal Methods for Industrial Critical Systems [electronic resource] : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

0
索取号：
作者：Alpuente、 Mar铆a.、Cook、 Byron.、Joubert、 Christophe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Management Enabling the Future Internet for Changing Business and New Computing Services [electronic resource] : 12th Asia-Pacific Network Operations and Management Symposium, APNOMS 2009 Jeju, South Korea, September 23-25, 2009 Proceedings

0
索取号：
作者：Hong、 Choong Seon.、Tonouchi、 Toshio.、Ma、 Yan.、Chao、 Chi-Shih.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Advances in Environmental Geotechnics [electronic resource] : Proceedings of the International Symposium on Geoenvironmental Engineering in Hangzhou, China, September 8鈥ᰬ 2009

0
索取号：
作者：Chen、 Yunmin.、Zhan、 Liangtong.、Tang、 Xiaowu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Security-ESORICS 2009 [electronic resource] : 14th European Symposium on Research in Computer Security, Saint-Malo, France, September 21-23, 2009. Proceedings

0
索取号：
作者：Backes、 Michael.、Ning、 Peng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Algorithmic Decision Theory [electronic resource] : First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Proceedings

0
索取号：
作者：Rossi、 Francesca.、Tsoukias、 Alexis.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Model Driven Engineering Languages and Systems [electronic resource] : 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings

0
索取号：
作者：Sch眉rr、 Andy.、Selic、 Bran.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Algorithmic Learning Theory [electronic resource] : 20th International Conference, ALT 2009, Porto, Portugal, October 3-5, 2009. Proceedings

0
索取号：
作者：Gavald脿、 Ricard.、Lugosi、 G谩bor.、Zeugmann、 Thomas.、Zilles、 Sandra.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Distributed Computing [electronic resource] : 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings

0
索取号：
作者：Keidar、 Idit.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Recent Advances in Intrusion Detection [electronic resource] : 12th International Symposium, RAID 2009, Saint-Malo, France, September 23-25, 2009. Proceedings

0
索取号：
作者：Kirda、 Engin.、Jha、 Somesh.、Balzarotti、 Davide.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computational Methods in Chemical Engineering with Maple [electronic resource]

0
索取号：
作者：White、 Ralph E.、Subramanian、 Venkat R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Analysis, Architectures and Modelling of Embedded Systems [electronic resource] : Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings

0
索取号：
作者：Rettberg、 Achim.、Zanella、 Mauro C.、Amann、 Michael.、Keckeisen、 Michael.、Rammig、 Franz J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Frontiers of Combining Systems [electronic resource] : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings

0
索取号：
作者：Ghilardi、 Silvio.、Sebastiani、 Roberto.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Groupware: Design, Implementation, and Use [electronic resource] : 15th International Workshop, CRIWG 2009, Peso da R茅gua, Douro, Portugal, September 13-17, 2009. Proceedings

0
索取号：
作者：Carri莽o、 Lu铆s.、Baloian、 Nelson.、Fonseca、 Benjamim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Formal Methods for Components and Objects [electronic resource] : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures

0
索取号：
作者：Boer、 Frank S.、Bonsangue、 Marcello M.、Madelaine、 Eric.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Algorithms - ESA 2009 [electronic resource] : 17th Annual European Symposium, Copenhagen, Denmark, September 7-9, 2009. Proceedings

0
索取号：
作者：Fiat、 Amos.、Sanders、 Peter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Foundations of Intelligent Systems [electronic resource] : 18th International Symposium, ISMIS 2009, Prague, Czech Republic, September 14-17, 2009. Proceedings

0
索取号：
作者：Rauch、 Jan.、Ra艣、 Zbigniew W.、Berka、 Petr.、Elomaa、 Tapio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院